#include <stdio.h>
/* implements backend interface */
void foo()
{
    printf("haha\n");
}
